<?php

class ClassWithNoNamespace
{
}
